Hypercubical manifolds in homotopy type theory
arxiv.org·10h
🔶Cubical Type Theory
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·42m
📊Graph Databases
Counting with Categories (Part 2)
golem.ph.utexas.edu·1d
🔀Category Theory
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
daily quizzz
dev.to·1h·
Discuss: DEV
λLambda Encodings
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·2d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
arxiv.org·1d
🕸️Algebraic Topology
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
What LLMs Know About Their Users
schneier.com·3h
💻Local LLMs
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp